Visiting address

DS - BI
University of Groningen
Nijenborgh 9
9747 AG Groningen
The Netherlands

Quick links

Follow us

TODO

Heerko Groefsema

Filters

2022

  1. Groefsema, H., van Beest, N. R. T. P., & Governatori, G. (2022). On the Use of the Conformance and Compliance Keywords During Verification of Business Processes. In C. Di Ciccio, R. Dijkman, A. del Río Ortega, & S. Rinderle-Ma (Eds.), Business Process Management Forum (pp. 21–37). Springer. https://doi.org/10.1007/978-3-031-16171-1_2

2020

  1. Groefsema, H., van Beest, N. R. T. P., & Armas-Cervantes, A. (2020). Efficient conditional compliance checking of business process models. Computers in Industry, 115. https://doi.org/10.1016/j.compind.2019.103181

2018

  1. Groefsema, H., van Beest, N. R. T. P., & Aiello, M. (2018). A Formal Model for Compliance Verification of Service Compositions. Ieee Transactions on Services Computing, 11(3), 466–479. https://doi.org/10.1109/TSC.2016.2579621

2017

  1. Groefsema, H., van Beest, N. R. T. P., & Armas-Cervantes, A. (2017, September). Automated compliance verification of business processes in Apromore. Proceedings of the BPM Demo Track 2017. https://research.rug.nl/en/publications/automated-compliance-verification-of-business-processes-in-apromo

2016

  1. Groefsema, H. (2016). Business Process Variability: a study into process management and verification [PhD thesis, Rijksuniversiteit Groningen]. https://research.rug.nl/en/publications/business-process-variability-a-study-into-process-management-and-

2015

  1. Groefsema, H., & van Beest, N. R. T. P. (2015). Design-time Compliance of Service Compositions in Dynamic Service Environments. 8th IEEEE International Conference on Service Oriented Computing & Applications (SOCA), 108–115. https://doi.org/10.1109/SOCA.2015.14

2013

  1. Groefsema, H., & Bucur, D. (2013). A survey of formal business process verification: From soundness to variability. Proceedings of International Symposium on Business Modeling and Software Design, 198–203. https://doi.org/10.5220/0004775401980203

2012

  1. Groefsema, H., Bulanov, P., & Aiello, M. (2012). Imperative versus declarative process variability: Why Choose? [Other]. https://research.rug.nl/en/publications/imperative-versus-declarative-process-variability-why-choose

2011

  1. Groefsema, H., Bulanov, P., & Aiello, M. (2011). Declarative Enhancement Framework for Business Processes. In G. Kappel, Z. Maamar, & H. R. Motahari Nezhad (Eds.), Service-Oriented Computing (Vol. 7084, pp. 495–504). Springer. https://doi.org/10.1007/978-3-642-25535-9_34